-- Anonymous array element type.
-- ==
-- input { [1,2,3] } output { [3,2,1] }

def reverse [n] 't (a: [n]t) : [n]t = a[::-1]

def main (x: []i32) = reverse x
